Unifying the Intentional and Institutional Semantics of Speech Acts
Identifieur interne : 007042 ( Main/Exploration ); précédent : 007041; suivant : 007043Unifying the Intentional and Institutional Semantics of Speech Acts
Auteurs : Carole Adam [Australie] ; Andreas Herzig [France] ; Dominique Longin [France] ; Vincent Louis [Australie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2010.
English descriptors
- KwdEn :
- Action laws, Agent communication, Agent communication language, Agent communication languages, Assertive speech, Business exchanges, Command someone, Communicative action, Communicative actions, Cond, Condition cond, Constraint, Deontic, Deontic logic, Dignum, Factual executability, Feasibility, Feasibility precondition, Feasibility preconditions, Fipa, Fipa feasibility precondition, Fornara, Future work, Hearer, Industrial application, Informal ones, Institutional, Institutional context, Institutional dimension, Institutional dimensions, Institutional fact, Institutional facts, Institutional interpretation, Institutional notions, Institutional power, Institutional powers, Institutional semantics, Intentional, Intentional dimension, Intentional interpretation, Logical framework, Lorini, Mediation platform, Mental attitude, Mental attitudes, Mentalist approach, Mentalist approaches, More details, Normative consequences, Obligatory, Ordinary communication, Other agents, Other words, Permc, Permission precondition, Permission preconditions, Philosophical logic, Powc, Power condition, Power precondition, Precondition, Previous work, Propositional commitment, Provider, Rational agents, Semantics, Social approaches, Social attitudes, Social commitments, Speaker intention, Speech acts, Strong constraints, Such obligations.
- Teeft :
- Action laws, Agent communication, Agent communication language, Agent communication languages, Assertive speech, Business exchanges, Command someone, Communicative action, Communicative actions, Cond, Condition cond, Constraint, Deontic, Deontic logic, Dignum, Factual executability, Feasibility, Feasibility precondition, Feasibility preconditions, Fipa, Fipa feasibility precondition, Fornara, Future work, Hearer, Industrial application, Informal ones, Institutional, Institutional context, Institutional dimension, Institutional dimensions, Institutional fact, Institutional facts, Institutional interpretation, Institutional notions, Institutional power, Institutional powers, Institutional semantics, Intentional, Intentional dimension, Intentional interpretation, Logical framework, Lorini, Mediation platform, Mental attitude, Mental attitudes, Mentalist approach, Mentalist approaches, More details, Normative consequences, Obligatory, Ordinary communication, Other agents, Other words, Permc, Permission precondition, Permission preconditions, Philosophical logic, Powc, Power condition, Power precondition, Precondition, Previous work, Propositional commitment, Provider, Rational agents, Semantics, Social approaches, Social attitudes, Social commitments, Speaker intention, Speech acts, Strong constraints, Such obligations.
Abstract
Abstract: Research about the semantics of agent communication languages traditionally sees the opposition between the mentalist and social approaches. In this paper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a semantics for some speech acts representing each of Searle’s categories except expressives. This semantics relaxes the criticized constraints imposed in FIPA-ACL and also extends this standard with new speech acts and new institutional features to characterise them. It has been implemented in an extension of the Semantic Add-on for the JADE agent development platform, and used in an industrial application in the context of automated B2B exchanges.
Url:
DOI: 10.1007/978-3-642-11355-0_5
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000037
- to stream Istex, to step Curation: 000037
- to stream Istex, to step Checkpoint: 000940
- to stream Main, to step Merge: 007575
- to stream Main, to step Curation: 007042
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Unifying the Intentional and Institutional Semantics of Speech Acts</title>
<author><name sortKey="Adam, Carole" sort="Adam, Carole" uniqKey="Adam C" first="Carole" last="Adam">Carole Adam</name>
</author>
<author><name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name>
</author>
<author><name sortKey="Longin, Dominique" sort="Longin, Dominique" uniqKey="Longin D" first="Dominique" last="Longin">Dominique Longin</name>
</author>
<author><name sortKey="Louis, Vincent" sort="Louis, Vincent" uniqKey="Louis V" first="Vincent" last="Louis">Vincent Louis</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:01B949AF8F422BE2822EC2DA72C984B3792C7DEA</idno>
<date when="2010" year="2010">2010</date>
<idno type="doi">10.1007/978-3-642-11355-0_5</idno>
<idno type="url">https://api.istex.fr/document/01B949AF8F422BE2822EC2DA72C984B3792C7DEA/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000037</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000037</idno>
<idno type="wicri:Area/Istex/Curation">000037</idno>
<idno type="wicri:Area/Istex/Checkpoint">000940</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000940</idno>
<idno type="wicri:doubleKey">0302-9743:2010:Adam C:unifying:the:intentional</idno>
<idno type="wicri:Area/Main/Merge">007575</idno>
<idno type="wicri:Area/Main/Curation">007042</idno>
<idno type="wicri:Area/Main/Exploration">007042</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Unifying the Intentional and Institutional Semantics of Speech Acts</title>
<author><name sortKey="Adam, Carole" sort="Adam, Carole" uniqKey="Adam C" first="Carole" last="Adam">Carole Adam</name>
<affiliation wicri:level="1"><country xml:lang="fr">Australie</country>
<wicri:regionArea>RMIT University, Melbourne, VIC</wicri:regionArea>
<wicri:noRegion>VIC</wicri:noRegion>
</affiliation>
<affiliation></affiliation>
</author>
<author><name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name>
<affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>IRIT (UMR 5505), Université de Toulouse, CNRS</wicri:regionArea>
<wicri:noRegion>CNRS</wicri:noRegion>
<wicri:noRegion>CNRS</wicri:noRegion>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Longin, Dominique" sort="Longin, Dominique" uniqKey="Longin D" first="Dominique" last="Longin">Dominique Longin</name>
<affiliation wicri:level="1"><country xml:lang="fr">France</country>
<wicri:regionArea>IRIT (UMR 5505), Université de Toulouse, CNRS</wicri:regionArea>
<wicri:noRegion>CNRS</wicri:noRegion>
<wicri:noRegion>CNRS</wicri:noRegion>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Louis, Vincent" sort="Louis, Vincent" uniqKey="Louis V" first="Vincent" last="Louis">Vincent Louis</name>
<affiliation wicri:level="1"><country xml:lang="fr">Australie</country>
<wicri:regionArea>RMIT University, Melbourne, VIC</wicri:regionArea>
<wicri:noRegion>VIC</wicri:noRegion>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2010</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Action laws</term>
<term>Agent communication</term>
<term>Agent communication language</term>
<term>Agent communication languages</term>
<term>Assertive speech</term>
<term>Business exchanges</term>
<term>Command someone</term>
<term>Communicative action</term>
<term>Communicative actions</term>
<term>Cond</term>
<term>Condition cond</term>
<term>Constraint</term>
<term>Deontic</term>
<term>Deontic logic</term>
<term>Dignum</term>
<term>Factual executability</term>
<term>Feasibility</term>
<term>Feasibility precondition</term>
<term>Feasibility preconditions</term>
<term>Fipa</term>
<term>Fipa feasibility precondition</term>
<term>Fornara</term>
<term>Future work</term>
<term>Hearer</term>
<term>Industrial application</term>
<term>Informal ones</term>
<term>Institutional</term>
<term>Institutional context</term>
<term>Institutional dimension</term>
<term>Institutional dimensions</term>
<term>Institutional fact</term>
<term>Institutional facts</term>
<term>Institutional interpretation</term>
<term>Institutional notions</term>
<term>Institutional power</term>
<term>Institutional powers</term>
<term>Institutional semantics</term>
<term>Intentional</term>
<term>Intentional dimension</term>
<term>Intentional interpretation</term>
<term>Logical framework</term>
<term>Lorini</term>
<term>Mediation platform</term>
<term>Mental attitude</term>
<term>Mental attitudes</term>
<term>Mentalist approach</term>
<term>Mentalist approaches</term>
<term>More details</term>
<term>Normative consequences</term>
<term>Obligatory</term>
<term>Ordinary communication</term>
<term>Other agents</term>
<term>Other words</term>
<term>Permc</term>
<term>Permission precondition</term>
<term>Permission preconditions</term>
<term>Philosophical logic</term>
<term>Powc</term>
<term>Power condition</term>
<term>Power precondition</term>
<term>Precondition</term>
<term>Previous work</term>
<term>Propositional commitment</term>
<term>Provider</term>
<term>Rational agents</term>
<term>Semantics</term>
<term>Social approaches</term>
<term>Social attitudes</term>
<term>Social commitments</term>
<term>Speaker intention</term>
<term>Speech acts</term>
<term>Strong constraints</term>
<term>Such obligations</term>
</keywords>
<keywords scheme="Teeft" xml:lang="en"><term>Action laws</term>
<term>Agent communication</term>
<term>Agent communication language</term>
<term>Agent communication languages</term>
<term>Assertive speech</term>
<term>Business exchanges</term>
<term>Command someone</term>
<term>Communicative action</term>
<term>Communicative actions</term>
<term>Cond</term>
<term>Condition cond</term>
<term>Constraint</term>
<term>Deontic</term>
<term>Deontic logic</term>
<term>Dignum</term>
<term>Factual executability</term>
<term>Feasibility</term>
<term>Feasibility precondition</term>
<term>Feasibility preconditions</term>
<term>Fipa</term>
<term>Fipa feasibility precondition</term>
<term>Fornara</term>
<term>Future work</term>
<term>Hearer</term>
<term>Industrial application</term>
<term>Informal ones</term>
<term>Institutional</term>
<term>Institutional context</term>
<term>Institutional dimension</term>
<term>Institutional dimensions</term>
<term>Institutional fact</term>
<term>Institutional facts</term>
<term>Institutional interpretation</term>
<term>Institutional notions</term>
<term>Institutional power</term>
<term>Institutional powers</term>
<term>Institutional semantics</term>
<term>Intentional</term>
<term>Intentional dimension</term>
<term>Intentional interpretation</term>
<term>Logical framework</term>
<term>Lorini</term>
<term>Mediation platform</term>
<term>Mental attitude</term>
<term>Mental attitudes</term>
<term>Mentalist approach</term>
<term>Mentalist approaches</term>
<term>More details</term>
<term>Normative consequences</term>
<term>Obligatory</term>
<term>Ordinary communication</term>
<term>Other agents</term>
<term>Other words</term>
<term>Permc</term>
<term>Permission precondition</term>
<term>Permission preconditions</term>
<term>Philosophical logic</term>
<term>Powc</term>
<term>Power condition</term>
<term>Power precondition</term>
<term>Precondition</term>
<term>Previous work</term>
<term>Propositional commitment</term>
<term>Provider</term>
<term>Rational agents</term>
<term>Semantics</term>
<term>Social approaches</term>
<term>Social attitudes</term>
<term>Social commitments</term>
<term>Speaker intention</term>
<term>Speech acts</term>
<term>Strong constraints</term>
<term>Such obligations</term>
</keywords>
</textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Research about the semantics of agent communication languages traditionally sees the opposition between the mentalist and social approaches. In this paper we adopt a mixed approach since we propose a logical framework allowing us to express both the intentional and institutional dimensions of a communicative action. We use this framework to give a semantics for some speech acts representing each of Searle’s categories except expressives. This semantics relaxes the criticized constraints imposed in FIPA-ACL and also extends this standard with new speech acts and new institutional features to characterise them. It has been implemented in an extension of the Semantic Add-on for the JADE agent development platform, and used in an industrial application in the context of automated B2B exchanges.</div>
</front>
</TEI>
<affiliations><list><country><li>Australie</li>
<li>France</li>
</country>
</list>
<tree><country name="Australie"><noRegion><name sortKey="Adam, Carole" sort="Adam, Carole" uniqKey="Adam C" first="Carole" last="Adam">Carole Adam</name>
</noRegion>
<name sortKey="Louis, Vincent" sort="Louis, Vincent" uniqKey="Louis V" first="Vincent" last="Louis">Vincent Louis</name>
</country>
<country name="France"><noRegion><name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name>
</noRegion>
<name sortKey="Herzig, Andreas" sort="Herzig, Andreas" uniqKey="Herzig A" first="Andreas" last="Herzig">Andreas Herzig</name>
<name sortKey="Longin, Dominique" sort="Longin, Dominique" uniqKey="Longin D" first="Dominique" last="Longin">Dominique Longin</name>
<name sortKey="Longin, Dominique" sort="Longin, Dominique" uniqKey="Longin D" first="Dominique" last="Longin">Dominique Longin</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 007042 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 007042 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Asie |area= AustralieFrV1 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:01B949AF8F422BE2822EC2DA72C984B3792C7DEA |texte= Unifying the Intentional and Institutional Semantics of Speech Acts }}
This area was generated with Dilib version V0.6.33. |